منابع مشابه
GRADUAL NORMED LINEAR SPACE
In this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. Also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. So the results in locally convex spaces can be translated in gradual normed linear spaces. Finally, we give an examp...
متن کاملThe Gradual Verifier
Static verification traditionally produces yes/no answers. It either provides a proof that a piece of code meets a property, or a counterexample showing that the property can be violated. Hence, the progress of static verification is hard to measure. Unlike in testing, where coverage metrics can be used to track progress, static verification does not provide any intermediate result until the pr...
متن کاملGradual Encapsulation
Strictly enforced encapsulation is a key concept for modular software designs. However, in many situations like unanticipated reuse, productivity can be raised by a more flexible approach to encapsulation. Also the discussion about the role of “obliviousness” in aspect-oriented programming is one instance of a general conflict between strictness and flexibility. Here, different technologies tak...
متن کاملGradual Typestate
Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state for which the operation is welldefined. Prior work has shown how modular typestate checking can be achieved thanks to access permissions and state guara...
متن کاملgradual erasure of subjectivity: a study of samuel beckett’s trilogy in the light of postmodernism
ساموئل بکت بیشتر از هر نویسنده دیگری در نیم? دوم قرن بیستم با گفتارش زمان? ما را به آستان? از هم پاشیدگی کشانده است، آستانه ای که در آن مدرنیته با سرانجام گریزان اما غیرقابل اجتناب خود مواجه می شود. در این تحقیق روی مفهوم فردیت و محو آن در دوران پسامدرن تاکید شده و در طی آن سعی شده است که فردیت مدرن و پسامدرن در رمان های سه گانه بکت بررسی گردد. تحقیق حاضر یک بررسی کتابخانه ای و کیفی بر روی سه ر...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Theological Studies
سال: 1901
ISSN: 0022-5185,1477-4607
DOI: 10.1093/jts/os-ii.8.578